Definition des
... ... ... Ebrancheur (*)
Zerstarten